English translation for "order logic"

阶逻辑

Related Translations:

active logic:  有源逻辑

contention logic:  争用逻辑

core logic:  磁心逻辑

hardware logic:  硬件逻辑

logic trainer:  逻辑教练设备逻辑示教机

overflow logic:  溢出逻辑溢位逻辑

logic base:  逻辑代数基础逻辑基逻辑数据库

logic polarity:  逻辑极化

logic restraint:  逻辑限制

set logic:  置位逻辑

Example Sentences:

	1.	An algebraic proof of completeness theorem of first - order logic 一阶逻辑完备性定理的代数证明
	2.	The two - value weak model for first order logic with generalized quantifier 摘要：将带广义量词
	3.	An axiomatics for first - order logic 经典一阶逻辑的希尔伯特型系统
	4.	Proving several theorems in first order logic based on back - and - forth method 向前向后法证明一阶逻辑的几个定理
	5.	Higher - order logic 非古典逻辑
	6.	Second - order logic 高阶逻辑
	7.	First - order logic 二阶逻辑
	8.	First - order rule mining technique based on first - order logic is often called as inductive logic programming ( ilp ) 基于一阶逻辑的一阶规则挖掘技术常被称作归纳逻辑程序设计( ilp ) 。
	9.	The aim we establish the logic frame bofl ( boolean operator fuzzy logic ) is to solve the innate limitation of the first - order logic 布尔算子模糊逻辑(简称bofl )就是为了试图解决一阶逻辑的这些局限性而建立的逻辑框架。
	10.	The familiar semantics for first - order logic is extensional in that it is involved in individual objects rather than in any property entities 摘要熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。

Similar Words：

"order limit" English translation, "order linales" English translation, "order line" English translation, "order line equipment" English translation, "order list" English translation, "order magnoliales" English translation, "order maintenance batch update" English translation, "order malvales" English translation, "order management" English translation, "order matching" English translation